What is the formula for the choice function